TSTP Solution File: DAT225^1 by SInE---0.4